--- Example code for 'https://github.com/Frege/frege/issues/47 Issue 47'
module tests.nocomp.Issue47b where

import Prelude.Math


--  The following is not allowed anymore and yields error:
--      higher rank type annotations are not allowed for case patterns
worksnot f xs ys = case f of { (g::forall b.[b]->[b]) -> (g xs, g ys) }

--  This used to compile and give a type error at runtime. No more!
typefailure = worksnot (map Double.sqrt) [true, false] ['a', 'b']
